منابع مشابه
Paraconsistency and word puzzles
Word puzzles and the problem of their representations in logic languages have received considerable attention in the last decade (Ponnuru et al. 2004; Shapiro 2011; Baral and Dzifcak 2012; Schwitter 2013). Of special interest is the problem of generating such representations directly from natural language (NL) or controlled natural language (CNL). An interesting variation of this problem, and t...
متن کاملWord puzzles
One of the most remarkable human abilities is that of learning a language. Not only do people learn to speak, but more recently they have learned to read — to associate the spoken sounds with written symbols. It is an extraordinary biological achievement, particularly as written language is relatively new. In a new review published (online) within a special issue of the Philosophical Transactio...
متن کاملAnti-intuitionism and paraconsistency
This paper aims to help to elucidate some questions on the duality between the intuitionistic and the paraconsistent paradigms of thought, proposing some new classes of anti-intuitionistic propositional logics and investigating their relationships with the original intuitionistic logics. It is shown here that anti-intuitionistic logics are paraconsistent, and in particular we develop a first an...
متن کاملBilattices and Paraconsistency
Bilattices are algebraic structures that were introduced by Ginsberg, and further examined by Fitting, as a general framework for many applications in computer science. In this paper we consider their applicability for computerized reasoning in general, and for reasoning with inconsistent data in particular. 1 Background A great deal of research has been devoted in the last twenty years for con...
متن کاملModality and Paraconsistency
Paraconsistent logic was born in the vicinity of modal logic. Moreover, as every other non-classical logicians, paraconsistentists have very often flirted with modalities. The first known system of paraconsistent logic was in fact defined as a fragment of S5, in the late 40s. But a fragment of a modal system is not necessarily a modal system. I will show here, indeed, that Jaśkowski’s D2 is not...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Logic Programming
سال: 2016
ISSN: 1471-0684,1475-3081
DOI: 10.1017/s1471068416000326